уточнение
51МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …
52АЛГОРИТМ, — алгорифм, Ч точное предписание, к рое задает вычислительный процесс (называемый в этом случае алгоритмическим), начинающийся с произвольного исходного данного (из нек рой совокупности возможных для данного А. исходных данных) и направленный на… …
53Методология истории — Методология исторической науки (истории)  специальная историческая дисциплина, которая определяет предмет и объект исторической науки, цель научного исторического познания, изучает научный и социальный статус исторической науки, её… …
54За горами, за лесами — За горами, за лесами…  вступительное четверостишие в сказке П. П. Ершова «Конёк Горбунок», включавшееся с 1915 года до второй половины 30 х годов в собрание сочинений Александра Пушкина. За горами, за лесами, За широкими морями,… …
55ДУША — [греч. ψυχή], вместе с телом образует состав человека (см. статьи Дихотомизм, Антропология), будучи при этом самостоятельным началом; Д. человека заключает образ Божий (по мнению одних отцов Церкви; по мнению других образ Божий заключен во всем… …
56Алгоритм — алгорифм, одно из основных понятий (категорий) математики, не обладающих формальным определением в терминах более простых понятий, а абстрагируемых непосредственно из опыта. А. являются, например, известные из начальной школы правила… …
57Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …
58ЭКСПЛИКАЦИЯ — (лат. explicatio разъяснение) уточнение понятий и утверждений естественного или искуствен ного языка с целью устранения выявленных в них неясностей и неточностей или (и) сообразно новому объекту исследования. Э. может пониматься как замена одних… …
59Параметрическое бурение — (a. stratigraphie; н. parametrisches Bohren; ф. forage stratigraphique, sondage stratigraphique; и. perforacion para prueba stratigrafica) проходка скважин на региональном этапе исследований территорий c целью выявления и получения геол.… …
60ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… …
